From Creature Forcing to Boolean Ultrapowers
نویسنده
چکیده
We will consider four cardinal characteristics of the continuum, a, b, d, s and discuss how their study has prompted the development of some of the most powerful forcing techniques: creature forcing, coherent systems of iterations, Shelah’s method of template iterations and the method of boolean ultrapowers.
منابع مشابه
Boolean Ultrapowers, the Bukovský-dehornoy Phenomenon, and Iterated Ultrapowers
We show that while the length ω iterated ultrapower by a normal ultrafilter is a Boolean ultrapower by the Boolean algebra of Př́ıkrý forcing, it is consistent that no iteration of length greater than ω (of the same ultrafilter and its images) is a Boolean ultrapower. For longer iterations, where different ultrafilters are used, this is possible, though, and we give Magidor forcing and a general...
متن کاملGeneralized Prikry forcing and iteration of generic ultrapowers
Moreover Bukovský [1] and Dehornoy [2] showed that the generic extension Mω[〈j0,n(κ) | n ∈ ω〉] is ⋂ n∈ω Mn in Theorem 1.1. (For the history of these results, read the introduction of Dehornoy [2] and pp.259-260 of Kanamori [6]. ) In Dehornoy [3], these results were generalized for the forcing of Magidor [7] which changes a measurable cardinal of higher Mitchell order into a singular cardinal of...
متن کاملSmall Forcing Creates Neither Strong nor Woodin Cardinals
After small forcing, almost every strongness embedding is the lift of a strongness embedding in the ground model. Consequently, small forcing creates neither strong nor Woodin cardinals. The widely known Levy-Solovay Theorem [LevSol67] asserts that small forcing does not affect the measurability of any cardinal. If a forcing notion P has size less than κ, then κ is measurable in V P if and only...
متن کاملStrong Ultrapowers and Long Core Models
In his paper 4] Steel asked whether there can exist a normal measure U on a cardinal such that P + Ult(V; U): In part one we use Reverse Easton forcing to show that this is consistent from a P 2-hypermeasure; in part two we show that the result of part one is sharp, using the core model for non-overlapping coherent extender sequences. The proof in part one uses forcing technology due to Woodin.
متن کاملRudin-Keisler Posets of Complete Boolean Algebras
The Rudin-Keisler ordering of ultrafilters is extended to complete Boolean algebras and characterised in terms of elementary embeddings of Boolean ultrapowers. The result is applied to show that the Rudin-Keisler poset of some atomless complete Boolean algebras is nontrivial.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017